go/types.unifier.tracef (method)
22 uses
go/types (current package)
infer.go#L163: u.tracef("== function parameters: %s", params)
infer.go#L164: u.tracef("-- function arguments : %s", args)
infer.go#L202: u.tracef("=> %s ➞ %s\n", tparams, inferred)
infer.go#L209: u.tracef("== type parameters: %s", tparams)
infer.go#L233: u.tracef("-- iteration %d", i)
infer.go#L240: u.tracef("-- type parameter %s = %s: core(%s) = %s, single = %v", tpar, tx, tpar, core, single)
infer.go#L250: u.tracef("-> unify type parameter %s (type %s) with constraint core type %s", tpar, tx, core.typ)
infer.go#L271: u.tracef("-> set type parameter %s to constraint core type %s", tpar, core.typ)
infer.go#L295: u.tracef("-> unify type parameter %s (type %s) methods with constraint methods", tpar, tx)
infer.go#L320: u.tracef("=> %s ➞ %s\n", tparams, inferred)
infer.go#L327: u.tracef("== untyped arguments: %v", untyped)
infer.go#L416: u.tracef("-- simplify %s ➞ %s", tparams, inferred)
unify.go#L147: func (u *unifier) tracef(format string, args ...interface{}) {
unify.go#L189: u.tracef("%s ⇄ %s", x, y)
unify.go#L244: u.tracef("%s ➞ %s", x, t)
unify.go#L288: u.tracef("%s ≡ %s\t// %s", x, y, mode)
unify.go#L292: u.tracef("%s ≢ %s", x, y)
unify.go#L305: u.tracef("depth %d >= %d", u.depth, unificationDepthLimit)
unify.go#L319: u.tracef("%s ≡ %s\t// swap", y, x)
unify.go#L343: u.tracef("%s ≡ under %s", x, ny)
unify.go#L564: u.tracef("%s ≡ %s\t// swap", y, x)
unify.go#L781: u.tracef("core %s ≡ %s", xorig, yorig)